Planning, Truth Criteria and the Systematic Approach to Action and Change
نویسنده
چکیده
This paper presents an analysis of partial-order planning based on Sandewall's systematic approach to reasoning about action and change. The partial-order planner tweak is analysed and reconstructed. The main result is a temporal logic-based version of the criterion for necessary truth in tweak plans. In a second step, the tweak truth criterion is extended to deal with context-dependent and nondeterministic actions. A temporal logic, called the uent logic, is used for representing plans.
منابع مشابه
Planning, Truth Criteria and the Systematic Approach to Action and Change Planning, Truth Criteria and the Systematic Approach to Action and Change
This paper presents an analysis of partial-order planning based on Sandewall's systematic approach to reasoning about action and change. The partial-order planner tweak is analysed and reconstructed. The main result is a temporal logic-based version of the criterion for necessary truth in tweak plans. In a second step, the tweak truth criterion is extended to deal with context-dependent and non...
متن کاملکنش جمعی؛ نقطه اتصال تفکر نهادگرا و نگرش برنامهریزی ارتباطی
Institution is the collective action in control, liberation, and expansion of individual action; so that individuals are identified and realized through their participation in institutions. In the institutionalist perspective, the question of planning goes beyond the dichotomy of public-private sectors, and is transmuted from being an individual or interpersonal activity to an aspect of govern...
متن کاملEvaluating the importance of physical resilience criteria of run-down urban fabrics with using of Improved analytical hierarchy process (IAHP) method
Background and objective: Crises provide very short time to make decisions by creating unexpected and unstable conditions. Lack of preparation before crises, can lead to widespread negative consequences such as disorder, fragility, disintegration, instability, threat to values and conflict. In the last two decades, the issue of resiliency has been addressed due to the dramatic increase in damag...
متن کاملPerformance measurement of detection and governmental punitive agency by integrated approach based on DEMATEL, ANP, and DEA
The detection and governmental punitive agency is responsible for supervision on correct implementation of the business laws in Iran. Several criteria are involved in performance assessment of detection and governmental punitive agency. The interaction between criteria and sub-criteria may occur in real situations. Moreover, the performance measurement should be accomplished in a multi-period h...
متن کاملSystematic Review of Qualitative Studies on Yoga Experience as Psychotherapy
Today, yoga has become a popular supplement treatment. One of the important aspects of research in this field is the study of qualitative studies in the experience of yoga as a treatment. This study was conducted with the aim of identifying and examining the factors and criteria for experiencing yoga as psychotherapeutic interventions, with regular review of existing research in this field. For...
متن کامل